/**
 * 
 */
package helper_ds;

/**
 * @author Tobias Hardes 
 * Aug 12, 2014 
 * 5:25:51 PM
 */
public class InvalidProofException extends Exception {
	private static final long serialVersionUID = 1238454890522019927L;

	// Parameterless Constructor
	public InvalidProofException() {
	}

	// Constructor that accepts a message
	public InvalidProofException(String message) {
		super(message);
	}

	public InvalidProofException(Throwable cause) {
		super(cause);
	}

	public InvalidProofException(String message, Throwable cause) {
		super(message, cause);
	}
}
